• Formal methods and safety analyses in real-time systems use RTL timing logic, temporal logic and executable specifications to rigorously verify timing properties and safety assertions [4], [16], [19], [9].

• Scheduling theory patterns converge on feasibility under hard real-time constraints across single and multi-processor and distributed settings, including fixed-priority complexity, aperiodic tasks, resource constraints and response-time analysis [3], [5], [6], [7], [15], [11], [10], [13].

• Distributed real-time synchronization and fault tolerance unify mechanisms like priority inheritance/ceiling protocols, virtual time and Mars-style fault-tolerant architectures to manage timing and recoverability in distributed systems [2], [12], [14].

• Real-time programming languages and executable specifications provide reliability and schedulability guarantees, exemplified by Real-Time Euclid and TRIO, with time-aware reasoning for high-level software [20], [19], [9].